- minimal unifier
- 最小合一子
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
minimal unifier
Look at other dictionaries:
Tae-kwon-do — Taekwondo Graphies du mot taekwondo, en hangeul et en McCune Reischauer. Taekwondo 태권도 … Wikipédia en Français
Tae Kwon Do — Taekwondo Graphies du mot taekwondo, en hangeul et en McCune Reischauer. Taekwondo 태권도 … Wikipédia en Français
Tae kwon do — Taekwondo Graphies du mot taekwondo, en hangeul et en McCune Reischauer. Taekwondo 태권도 … Wikipédia en Français
Taekwando — Taekwondo Graphies du mot taekwondo, en hangeul et en McCune Reischauer. Taekwondo 태권도 … Wikipédia en Français
Taekwendo — Taekwondo Graphies du mot taekwondo, en hangeul et en McCune Reischauer. Taekwondo 태권도 … Wikipédia en Français
Taekwondo — / Taekwon Do / Tae Kwon Do 태권도 … Wikipédia en Français
Taekwondoin — Taekwondo Graphies du mot taekwondo, en hangeul et en McCune Reischauer. Taekwondo 태권도 … Wikipédia en Français
Corps fini — Les défauts de gravure, l usure, la poussière que l on observe à la surface d un disque compact nécessitent un codage redondant de l information, qui permet de corriger les erreurs de lecture. Ce code correcteur d erreur utilise des codes de Reed … Wikipédia en Français
Unification — In mathematical logic, in particular as applied to computer science, a unification of two terms is a join (in the lattice sense) with respect to a specialisation order. That is, we suppose a preorder on a set of terms, for which t * ≤ t means… … Wikipedia
AFRIQUE - Des origines à 1945 — L’histoire du continent tout entier apparaît comme une entreprise récente et difficile. Pendant longtemps, seules l’égyptologie, l’islamologie et l’histoire coloniale l’ont, chacune de son point de vue, abordée; il faut noter du reste que les… … Encyclopédie Universelle
PLATON — On a pu écrire que toute l’histoire de la philosophie se résumait à une série de notes en bas de page apposées à l’œuvre de Platon. Si pour certains il a déjà tout dit 漣 l’être travaillé par le négatif et par la différence, la pensée… … Encyclopédie Universelle
